\begin{tabbing}
$\vdash$  \=$\forall$$A$, $B$, $C$, $D$:Type, $h$:($A$$\rightarrow$($B$ + Top)), $g$:($B$$\rightarrow$($C$ + Top)), $f$:($C$$\rightarrow$($D$ + Top)).\+
\\[0ex]$f$ o $g$ o $h$     = $f$ o $g$   o $h$  
\-
\end{tabbing}